Natural/toInteger 1
